Works by Valeriote, Matt (exact spelling)

Order:
  1.  20
    Deciding some Maltsev conditions in finite idempotent algebras.Alexandr Kazda & Matt Valeriote - 2020 - Journal of Symbolic Logic 85 (2):539-562.
    In this paper we investigate the computational complexity of deciding if the variety generated by a given finite idempotent algebra satisfies a special type of Maltsev condition that can be specified using a certain kind of finite labelled path. This class of Maltsev conditions includes several well known conditions, such as congruence permutability and having a sequence of n Jónsson terms, for some given n. We show that for such “path defined” Maltsev conditions, the decision problem is polynomial-time solvable.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  9
    2011 Winter Meeting of the Association for Symbolic Logic, Washington Marriott Wardman Park Hotel, Washington, DC, December 27–29, 2011. [REVIEW]Matt Valeriote - 2013 - Bulletin of Symbolic Logic 19 (1):127-134.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark